Behaviour Specifications: Equivalence and Refinement Notions
نویسنده
چکیده
Adequate notions of equivalence and refinement are needed to support the process of specification. Several notions thereof have been developed for process algebras, but not for more popular specification languages. We discuss semantic preconditions for the development of equivalence and refinement notions, investigate wishful properties of such notions, provide an overview of existing equivalence and refinement notions, and present a new refinement notion.
منابع مشابه
Equivalence notions and refinement for timed Petri nets ?
The paper is contributed to develop a family of equivalence notions for real-time systems represented by labelled Merlin’s time Petri nets with zero length time intervals (i.e., with fixed time delays). We call them “timed Petri nets”. In particular, we introduce timed (time-sensitive), untimed (time-abstracting) and region (based on the notion of region [1]) equivalences in both the trace and ...
متن کاملQuery-based comparison of OBDA specifications
An ontology-based data access (OBDA) system is composed of one or more data sources, an ontology that provides a conceptual view of the data, and declarative mappings that relate the data and ontology schemas. In order to debug and optimize such systems, it is important to be able to analyze and compare OBDA specifications. Recent work in this direction compared specifications using classical n...
متن کاملBisimilarity and refinement for hybrid(ised) logics
The complexity of modern software systems entails the need for reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such systems may be represented by transition systems whose nodes correspond to the different configurations they may assume. Therefore, each node is endowed w...
متن کاملQuery-Based Comparison of Mappings in Ontology-Based Data Access
An ontology-based data access (OBDA) system is composed of one or more data sources, an ontology that provides a conceptual view of the data, and declarative mappings that relate the data and ontology schemas. In order to debug and optimize such systems, it is important to be able to analyze and compare OBDA specifications. Recent work in this direction compared specifications using classical n...
متن کاملExternalized and Internalized Notions of Behavioral Refinement
Many different behavioral refinement notions for algebraic specifications have been proposed in the literature but the relationship between the various concepts is still unclear. In this paper we provide a classification and a comparative study of behavioral refinements according to two directions, the externalized approach which uses an explicit behavioral abstraction operator that is applied ...
متن کامل